Declarative Specification of Software Architectures - Automated Software Engineering, 1997. Proceedings., 12th IEEE International Conference
نویسنده
چکیده
Scalzng formal methods t o large, complex systems requzres methods of modelzng systems at high levels of abstractron In thas paper, we describe such a method for speczfyzng system requzrements a t the software archztecture level A n architecture represents a way of breakzng down a system rnfo a set of tnterconnected components W e use archztecture theorzes to speczfy the behavzor of a system zn terms of the behuuaor of zts components vza a collectzon of axzoms The axaoms descrabe the eflects and lzmzts of component varzaizon and the assumptzons a component can make about the envzronment provzded by the archztecture A s a result of the method, the verzjicatron of the baszc archztecture can be separated from the verzjicatron of the zndrvadual component znstantzatzons. We present an example of uszng archztecture theoraes t o model the task coordznatzon archztecture of a multz-threaded plan execution system
منابع مشابه
On the Verification of VDM Specification and Refinement with PVS - Automated Software Engineering, 1997. Proceedings., 12th IEEE International Conference
Although the formal method VDM has been in existence since the 1970S, there are still no satisfactory tools to support verqkation in VDM. This paper deals with one possible means of approaching this problem by using the PVS theorem-prover It describes a translation of a VDM-SL speciJication into the PVS specification language using, essentially, the very transparent translation methods describe...
متن کاملModularity in Design: Formal Modeling and Automated Analysis
Reasoning about the evolvability properties and economic implications of design structures is critical to high-consequence decision-making, but it remains difficult, in part due to the lack of formal theories linking design structures to evolvability and economic properties, and of automated techniques facilitating value-based decision-making. One key impediment is the lack of analyzable high-l...
متن کاملApplying Concept Formation Methods to Object Identification In Procedural Code - Automated Software Engineering, 1997. Proceedings., 12th IEEE International Conference
Legacy software systems present a high level of entropy combined with imprecise documentation. This makes their maintenance more difficult, more time consuming, and costlier. In order to address these issues, many organizations have been migrating their legacy systems to new technologies. In this paper, we describe a computer-supported approach aimed at supporting the migration of procedural so...
متن کاملweHelp: A Reference Architecture for Social Recommender Systems
Recommender systems have become increasingly popular. Most of the research on recommender systems has focused on recommendation algorithms. There has been relatively little research, however, in the area of generalized system architectures for recommendation systems. In this paper, we introduce weHelp: a reference architecture for social recommender systems - systems where recommendations are d...
متن کاملSoftware Development as a Workflow Process
It is a general consensus that automated support for software development is essential to harness the ever increasing complexity of today’s software. Many software development models, tools, and environments have been introduced to address such a need; however, they are usually methodology-specific and impose a rather authoritarian policy on the way software is developed. This paper advocates t...
متن کامل